101. Engineering societies in the agents world VII
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Intelligent agents (Computer software) ; Congresses. ; Engineering ; Societies, etc. ; Congresses. ;
102. Engineering societies in the agents world: first international workshop, ESAW 2000, Berlin, Germany, August 21, 2000 : revised papers
پدیدآورنده : Andrea Omicini, Robert Tolksdorf, Franco Zambonelli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Intelligent agents )Computer software(,Societies, etc. -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
1972
103. Engineering theories of software construction
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
N388
2000
104. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
105. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.
رده :
QA76
.
758
106. Experimental Algorithms
پدیدآورنده : \ Evripidis Bampis (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer algorithms -- Congresses.,Software engineering -- Congresses,Data Structures.,الگوریتم‌های کامپیوتری -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,ساختار داده‌ها
رده :
QA
76
.
9
.
E97
2015
E-Book
,
107. Experimental algorithms
پدیدآورنده : Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
A43
S43
2013
108. FM 2015
پدیدآورنده : \ Nikolaj Bjørner , Frank de Boer (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering.,روش‌های صوری (کامپیوتر) -- کنگره ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
9
.
F57
2015
E-Book
,
109. FM 2012
پدیدآورنده : Dimitra Giannakopoulou, Dominique Méry (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
110. FST TCS 2000 :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer science ; Congresses. ;
111. FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd Conference, Kanpur, India, December 2002 : proceedings
پدیدآورنده : Manindra Agrawal, Anil Seth )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2556
112. FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003: proceedings
پدیدآورنده : Paritosh K. Pandya, Jaikumar Radhakrishnan )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2914
113. FST TCS 2001 : foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
پدیدآورنده : Ramesh Hariharan, Madhavan Mukund, V. Vinay )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2245
114. FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
پدیدآورنده : Sanjiv Kapoor, Snajiva Prasad )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1974
115. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
116. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
رده :
TA
5
.
I415
1997
117. Formal Methods for Industrial Critical Systems
پدیدآورنده : \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
118. Formal methods and software engineering :
پدیدآورنده : Shengchao Qin, Zongyan Qiu (edition)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
رده :
QA76
.
9
.
F67
I34
2011
119. Formal methods and software engineering
پدیدآورنده : Karin Breitman, Ana Cavalcanti (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I584
2009
120. Formal methods and software engineering :
پدیدآورنده : Jing Sun, Meng Sun (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
